A strong logic programming view for static embedded implication (1999)

by R Arruabarrena, P Lucio, M Navarro
Venue:In Proc. of the Second International Conference on Foundations of Software Science and Computation Structures, FOSSACS’99. LNCS 1578