Peter Szabó, Péter Szeredi. Improving the ISO Prolog Standard by Analyzing Compliance Test Results. In Sandro Etalle, Miroslaw Truszczynski, editors, Logic Programming, 22nd International Conference, ICLP 2006, Seattle, WA, USA, August 17-20, 2006, Proceedings. Volume 4079 of Lecture Notes in Computer Science, pages 257-269, Springer, 2006. [doi]
Abstract is missing.