DOI10.1007/s002360050128zbMath0904.68062OpenAlexW2015809097MaRDI QIDQ1130162
Reinhard Wilhelm, Nissim Francez, Mooly Sagiv, Michael Rodeh
Publication date: 8 November 1998 Published in: Acta Informatica (Search for Journal in Brave) Full work available at URL: https://doi.org/10.1007/s002360050128
zbMATH Keywords
Horn clausesentry environmentenvironment transformer
Mathematics Subject Classification ID
Theory of software (68N99)
