Declarative modeling of the operational behavior of logic languages (1989)

by M Falaschi, G Levi, C Palamidessi, M Martelli
Venue:Theor. Comput. Sci