Please use this identifier to cite or link to this item:
Title: Positive Unit Hyper-Resolution Tableaux for Minimal Model Generation
Authors: Yahya, Adnan
Bry, Francois
Issue Date: 2000
Publisher: Springer
Appears in Collections:Fulltext Publications

Files in This Item:
File Description SizeFormat 
188.pdf335.66 kBAdobe PDFView/Open

Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.