Peter Baumgartner
Logical Engineering with Instance-Based Methods
CADE, 2007.
@inproceedings{CADE-2007-Baumgartner, author = "Peter Baumgartner", booktitle = "{Proceedings of the 21st International Conference on Automated Deduction}", doi = "10.1007/978-3-540-73595-3_30", isbn = "978-3-540-73594-6", pages = "404--409", publisher = "{Springer International Publishing}", series = "{Lecture Notes in Computer Science}", title = "{Logical Engineering with Instance-Based Methods}", volume = 4603, year = 2007, }