Ganzinger, Harald Programming Logics, MPI for Informatics, Max Planck Society;
Waldmann, Uwe Programming Logics, MPI for Informatics, Max Planck Society;
MPI-I-96-2-001.pdf (Preprint), 444KB
Ganzinger, H., & Waldmann, U.(1996). Theorem proving in cancellative abelian monoids (MPI-I-1996-2-001). Saarbrücken: Max-Planck-Institut für Informatik.