Ronald V. Book Friedrich Otto Cancellation Rules and Extended Word Problems. 5-11 1985 20 Inf. Process. Lett. 1 db/journals/ipl/ipl20.html#BookO85