Barth, Peter Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-94-216.pdf (Any fulltext), 283KB
Barth, P.(1994). Linear 0-1 inequalities and extended clauses (MPI-I-94-216). Saarbrücken: Max-Planck-Institut für Informatik.