NICTA
This overview article on 'automated inference' appears in the (German) 'Handbook of Artificial Intelligence'.
@inbook{Baumgartner_13, isbn = {978-3-486-71307-7}, publisher = {Oldenbourg Verlag}, booktitle = {Handbuch der Kuenstlichen Intelligenz}, month = dec, series = {None}, year = {2013}, editor = {{Guenther Goerz, Josef Schneeberger, Ute Schmid}}, keywords = {automated reasoning, first-order logic}, title = {Automatische Inferenz}, pages = {129--167}, author = {Baumgartner, Peter}, address = {Muenchen, Germany} }