A truncation technique for clausal analytic tableaux
journal contribution
posted on 1992-07-03, 00:00 authored by G Wrightson, Jo Coldwell-NeilsonJo Coldwell-NeilsonA truncation technique for clausal analytic tableaux
History
Journal
Information Processing LettersVolume
42Pagination
273-281Publisher DOI
ISSN
0020-0190Language
engPublication classification
CN.1 Other journal articleIssue
5Publisher
ElsevierUsage metrics
Categories
No categories selectedKeywords
Licence
Exports
RefWorks
BibTeX
Ref. manager
Endnote
DataCite
NLM
DC