Andreas Fordan Constraint Solving over OCR Graphs. 205-216 2001 conf/inap/2001lncs INAP (LNCS Volume) http://link.springer.de/link/service/series/0558/bibs/2543/25430205.htm db/conf/inap/inap2001lncs.html#Fordan01a