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

Cached

Download Links

by R. Arruabarrena , P. Lucio , M. Navarro
Venue:In Proc. of the 2 nd Int. Conf. of Foundation of Software Science and Computation Structures (FOSSACS'99
Citations:2 - 0 self