Inductive Tight Semantics for Logic Programs

Luís Moniz Pereira, http://dtai.cs.kuleuven.be/, Alexandre Pinto,

URL	http://centria.di.fct.unl.pt/~lmp/publications/online-papers/ITMS.pdf
Publisher	K.U.Leuven
Series	http://dtai.cs.kuleuven.be/IM60/
Volume	http://dtai.cs.kuleuven.be/IM60/index.php?CONT=liberamicorum
URL	http://centria.di.fct.unl.pt/~lmp/publications/online-papers/ITMS.pdf
Publisher	K.U.Leuven
Series	http://dtai.cs.kuleuven.be/IM60/
Volume	http://dtai.cs.kuleuven.be/IM60/index.php?CONT=liberamicorum

Publication