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

by M Falaschi, G Levi, M Martelli, C Palamidessi
Venue:Theoretical Computer Science