The common order-theoretic structure of version spaces and ATMS's (1991)

by C A Gunter, T-H Ngair, P Panangaden, D Subramanian
Venue:In Proceedings of the National Conference on Artificial Intelligence