Increasing Interpretations

Harald Zankl and Aart Middeldorp
Proceedings of the 9th International Conference on Artificial Intelligence and Symbolic Computation (AISC 2008), Lecture Notes in Artificial Intelligence 5144, pp. 191 – 205, 2008.

abstract   BibTeX   PDF   doi:10.1007/978-3-540-85110-3_16  
© Springer