Fibrational Classification of Positive Horn Theories (1998)

by Dirk Pattinson