Vorobyov, Sergei Programming Logics, MPI for Informatics, Max Planck Society;
Voronkov, Andrei Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-97-2-010.pdf (Any fulltext), 405KB
Vorobyov, S., & Voronkov, A.(1997). Complexity of nonrecursive logic programs with complex values (MPI-I-1997-2-010). Saarbrücken: Max-Planck-Institut für Informatik.