Concurrency and Backtracking in VPL. - Eva Kühn; Herbert Pohlai; Franz Puntigam (Comput. Lang., 1993)