Deduction revision by intelligent backtracking
Publication date:
1984-01-01
Pages:
194 -
215
ISSN:
0-85312-675-5
Publisher:
Ellis Horwood, Chichester, England
Author:
Bruynooghe, Maurice
Pereira, LM ; Campbell, JA