An Application of Clasp in the Study of Logics.

Mauricio Osorio, Jos Luis Carballido, Claudia Zepeda

Browse the full LPNMR paper archive.