Model Expansion and the Expressiveness of FO(ID) and Other Logics

by Antonina Kolokolova , Yongmei Liu , David G. Mitchell , Eugenia Ternovska
Citations:1 - 1 self