An error-recovering form of DCGs - Paakki Jukka (Acta cybernetica, 1990)