Joseph A. Goguen, Grant Malcolm, Tom Kemp. A hidden Herbrand theorem: combining the object and logic paradigms. Journal of Logic and Algebraic Programming, 51(1):1-41, 2002. [doi]
@article{GoguenMK02, title = {A hidden Herbrand theorem: combining the object and logic paradigms}, author = {Joseph A. Goguen and Grant Malcolm and Tom Kemp}, year = {2002}, doi = {10.1016/S1567-8326(01)00011-X}, url = {http://dx.doi.org/10.1016/S1567-8326(01)00011-X}, tags = {meta-model, logic, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/GoguenMK02}, cites = {0}, citedby = {0}, journal = {Journal of Logic and Algebraic Programming}, volume = {51}, number = {1}, pages = {1-41}, }