Stijn de Gouw Frank S. de Boer Wolfgang Ahrendt Richard Bubel Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks. 207-219 2013 conf/sofsem/2013 SOFSEM https://doi.org/10.1007/978-3-642-35843-2_19 db/conf/sofsem/sofsem2013.html#GouwBAB13