@InProceedings{DeGouwEtAl13,
   author = 	 {Stijn De Gouw and Frank S. De Boer and Wolfgang Ahrendt and Richard Bubel},
   title = 	 {Weak Arithmetic Completeness of Object-Oriented Inductive Assertion Networks},
   booktitle =	 {SOFSEM 2013: 39th International Conference on Current Trends in Theory and Practice of Computer Science,
                  \v{S}pindler\accent'27uv Ml\'yn, Czech Republic},
   year =	 {2013},
   editor =	 {Peter van Emde Boas},
   series =	 {Lecture Notes in Computer Science},
   volume =      {7741},
   pages  =      {207-219},
   publisher =	 {Springer Verlag}
}