Alan M. Thompson. Logical Support in a Time-Varying Model. In Wolfgang Bibel, Robert A. Kowalski, editors, 5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings. Volume 87 of Lecture Notes in Computer Science, pages 143-153, Springer, 1980.
@inproceedings{Thompson80,
title = {Logical Support in a Time-Varying Model},
author = {Alan M. Thompson},
year = {1980},
tags = {meta-model, Meta-Environment},
researchr = {https://researchr.org/publication/Thompson80},
cites = {0},
citedby = {0},
pages = {143-153},
booktitle = {5th Conference on Automated Deduction, Les Arcs, France, July 8-11, 1980, Proceedings},
editor = {Wolfgang Bibel and Robert A. Kowalski},
volume = {87},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-10009-1},
}