Inspecting Side-Effects of Abduction in Logic Programs

Luís Moniz Pereira, M. Balduccini, Luís Moniz Pereira, M. Balduccini, Alexandre Pinto, Tran Cao Son, Alexandre Pinto, S. Tran,

URL	http://centria.di.fct.unl.pt/~lmp/publications/online-papers/ISALP.pdf
Publisher	University of Kentucky
Series	Symposium on Constructive Mathematics in Computer Science
Volume	http://marcy.cjb.net/MG65/proceedings.pdf
URL	http://centria.di.fct.unl.pt/~lmp/publications/online-papers/ISALP.pdf
Publisher	University of Kentucky
Series	Symposium on Constructive Mathematics in Computer Science
Volume	http://marcy.cjb.net/MG65/proceedings.pdf

Publication