Peter Baumgartner, Björn Pelzer, and Cesare Tinelli.
Model Evolution with Equality - Revised and Implemented.
Journal of Symbolic Computation, 47(9):1011-1045, September 2012.
Copyright Elsevier [ bib | DOI | .pdf | Abstract ]
Nick Barnes, Peter Baumgartner, Tibério S. Caetano, Hugh F. Durrant-Whyte, Gerwin Klein, Penelope Sanderson, Abdul Sattar, Peter J. Stuckey, Sylvie Thiébaux, Pascal Van Hentenryck, and Toby Walsh.
AI Magazine, 33(3):115-, 2012. [ bib | http ]
Andreas Klaus Bauer, Peter Baumgartner, and Michael Norrish.
Reasoning with Data-Centric Business Processes.
CoRR, abs/1207.2461, 2012. [ bib | http | Abstract ]
Geoff Sutcliffe, Stephan Schulz, Koen Claessen, and Peter Baumgartner.
The TPTP Typed First-order Form with Arithmetic.
In Nikolaj Bjørner and Andrei Voronkov, editors, Proceedings of the 18th International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR-18), volume 7180 of Lecture Notes in Artificial Intelligence. Springer, 2012.
Copyright Springer Verlag [ bib | .pdf | Abstract ]