A Strong Logic Programming View for Static Embedded Implications.

R. Arruabarrena Paqui Lucio Marisa Navarro A Strong Logic Programming View for Static Embedded Implications. 56-72 1999 conf/fossacs/1999 FoSSaCS db/conf/fossacs/fossacs1999.html#ArruabarrenaLN99