Computing answers with model elimination
Peter Baumgartner, Ulrich Furbach, Frieder StolzenburgVolume:
90
Year:
1997
Language:
english
Pages:
42
DOI:
10.1016/s0004-3702(96)00042-2
File:
PDF, 2.84 MB
english, 1997