Anne C. Morel, Ronald Harrop, Miriam Lucian, David Pincus. Meeting of the Association for Symbolic Logic Seattle 1973. Journal of Symbolic Logic, 39(1):195-208, 1974.
@article{MorelHLP74,
title = {Meeting of the Association for Symbolic Logic Seattle 1973},
author = {Anne C. Morel and Ronald Harrop and Miriam Lucian and David Pincus},
year = {1974},
tags = {C++, logic},
researchr = {https://researchr.org/publication/MorelHLP74},
cites = {0},
citedby = {0},
journal = {Journal of Symbolic Logic},
volume = {39},
number = {1},
pages = {195-208},
}