An error-recovering form of DCGs - Paakki, Jukka; Toppola, Kari (Acta Cybernetica, 1990)