DMCA

GMeta: A Generic Formal Metatheory Framework for First-Order Representations

by Gyesik Lee , Bruno C. D. S. Oliveira , Sungkeun Cho , Kwangkeun Yi
Citations:2 - 1 self