D. Duchier, Drew V. McDermott. LOGICALC: An Environment for Interactive Proof Development. In Ewing L. Lusk, Ross A. Overbeek, editors, 9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings. Volume 310 of Lecture Notes in Computer Science, pages 121-130, Springer, 1988.
@inproceedings{DuchierM88, title = {LOGICALC: An Environment for Interactive Proof Development}, author = {D. Duchier and Drew V. McDermott}, year = {1988}, tags = {meta-model, model-driven development, Meta-Environment, meta-objects}, researchr = {https://researchr.org/publication/DuchierM88}, cites = {0}, citedby = {0}, pages = {121-130}, booktitle = {9th International Conference on Automated Deduction, Argonne, Illinois, USA, May 23-26, 1988, Proceedings}, editor = {Ewing L. Lusk and Ross A. Overbeek}, volume = {310}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {3-540-19343-X}, }