Bockmayr, Alexander Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-91-227.pdf (Any fulltext), 132KB
Bockmayr, A.(1991). Logic programming with pseudo-Boolean constraints (MPI-I-91-227). Saarbrücken: Max-Planck-Institut für Informatik.