Seif Haridi, Catuscia Palamidessi. Structural Operational Semantics for Kernel Andorra Prolog. In Emile H. L. Aarts, Jan van Leeuwen, Martin Rem, editors, PARLE 91: Parallel Architectures and Languages Europe, Volume II: Parallel Languages, Eindhoven, The Netherlands, June 10-13, 1991, Proceedings. Volume 506 of Lecture Notes in Computer Science, pages 238-253, Springer, 1991.
Abstract is missing.