Eyal Amir. Object-Oriented First-Order Logic. Electron. Trans. Artif. Intell., 3(C):63-84, 1999. [doi]
@article{Amir99:0, title = {Object-Oriented First-Order Logic}, author = {Eyal Amir}, year = {1999}, url = {http://www.ep.liu.se/ej/etai/1999/008/}, tags = {meta-model, logic, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/Amir99%3A0}, cites = {0}, citedby = {0}, journal = {Electron. Trans. Artif. Intell.}, volume = {3}, number = {C}, pages = {63-84}, }