Search results

Conference on Logic Programming. Lecture Notes in Computer Science. Vol. 225. Springer. pp. 1–24. doi:10.1007/3-540-16492-8_61. ISBN 978-3-540-16492-0. v t e...

Berlin, Heidelberg: Springer Berlin Heidelberg, pp. 84–98, ISBN 978-3-540-16492-0, retrieved 2023-10-27 Sagonas, Konstantinos; Swift, Terrance; Warren...

Vol. 225. Springer. pp. 172–179. doi:10.1007/3-540-16492-8_73. ISBN 978-3-540-16492-0. Taki, K.; Nakajima, K.; Nakashima, H.; Ikeda, M. (1987). "Performance...