A theory of nonmonotonic rule systems I (1990)

by W. Marek , A. Nerode , J. Remmel
Citations:41 - 16 self