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 http://www.elsevier.com/. [ bib | DOI | .pdf | 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 http://www.springer.de/comp/lncs/index.html. [ bib | .pdf | Abstract ]

 

Andreas Klaus Bauer, Peter Baumgartner, and Michael Norrish.
Reasoning with Data-Centric Business Processes.
CoRR, abs/1207.2461, 2012. [ bib | http | 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@NICTA.
AI Magazine, 33(3):115--, 2012. [ bib | http ]