System bv without the equalities for unit. To appear (0)

by Ozan Kahramano˘gulları
Venue:in the Proceedings of the 19th International Symposium on Computer and Information Sciences. URL: http://www.informatik.uni-leipzig.de/˜ozan/Papers/bvn.pdf, 2004. Alessio Guglielmi