A Parametric Interpolation Framework for First-Order Theories

TitleA Parametric Interpolation Framework for First-Order Theories
Publication TypeConference Paper
Year of Publication2013
AuthorsKovacs, L., Rollini S.F., and Sharygina Natasha
Conference Name12th Mexican International Conference on Artificial Intelligence (MICAI)
Full Text