Inspection Points and Meta-Abduction in Logic Programs

Authors

Luís Moniz Pereira, Salvador Abreu, Alexandre Pinto, Dietmar Siepel,