Stijn de Gouw, Frank S. de Boer, Wolfgang Ahrendt, Richard Bubel: Weak Arithmetic Completeness of Object-Oriented First-Order Assertion Networks. SOFSEM 2013: 207-219