University of Oxford Logo University of OxfordDepartment of Computer Science - Home

Removing Redundancy from a Clause

Georg Gottlob and Christian G. Fermüller

Details

Journal

Artif. Intell.

Number

2

Pages

263−289

Volume

61

Year

1993

Links

BibTeX

Related pages

People