A Strong Logic Programming View for Static Embedded Implications.

Rosa Arruabarrena, Paqui Lucio, Marisa Navarro

Browse the full FOSSACS paper archive.