FOL Writings
                         ------------

@inproceedings{aiello-80lpw,
author = {Aiello, L.},
year = 1980,
title = {Evaluating functions defined in first order logic},
booktitle = { Proceedings of the Logic programming workshop},
place = {Debrecen Hungary}}

@inproceedings{aiello-80aaai,
author = {Aiello, L.},
year = 1980,
title = {Automatic generation of semantic attachments in {FOL}},
booktitle = { Proceedings of 1st {AAAI} conference on artificial intelligence},
pages = {90--92}
}

@techreport{aiello-aiello-weyhrauch-74pascal,
author = {Aiello, L. and  Aiello, M. and Weyhrauch, R. W.},
year = 1974,
title = { The Semantics of Pascal in {LCF}},
institution = {Stanford Artificial Intelligence Laboratory},
number = {{ AIM-221}},
}

@techreport{aiello-weyhrauch-74pascal,
author = {Aiello, L.  and Weyhrauch, R. W.},
year = 1974,
title = {{ LCFsmall}: an Implementation of {LCF}},
institution = {Stanford Artificial Intelligence Laboratory},
number = {{ AIM-241}},
}

@inproceedings{aiello-weyhrauch-75ijcai,
author = {Aiello, L.  and Weyhrauch, R. W.},
year = 1975,
title = {Checking Proofs in the Metamathematics of First Order Logic},
booktitle = {Proceedings of the Fourth International Joint Conference
          on Artificial Intelligence},
pages = { 1--8},
}

@inproceedings{aiello-weyhrauch-75ijcai,
author = {Aiello, L.  and Weyhrauch, R. W.},
year = 1980,
title = {Using meta-theoretic reasoning to do algebra},
booktitle = {\it Proceedings of the 5-th automated deduction conference},
place = {Les Arcs France}, 
year = 1980,
}

@phdthesis{bulnes-??,
author = {Bulnes, J.}
title = {GOAL},
school = {Stanford University}
year = 198?,
}

@techreport{filman-weyhrauch-76primer,
author = {Filman, R. E. and Weyhrauch, R. W. },
year = 1976,
title = { An FOL Primer},
institution = {Stanford University, Computer Science Department}
number = {{ STAN--CS--76--572}},
}

@article{ketonen-weyhrauch-84tcs,
author = {Ketonen, J. and Weyhrauch, R. W.},
year = 1984,
title = {A Decidable Fragment of Predicate Calculus},
journal = {Theoretical Computer Science},
volume = 32, 
pages = {297--307}
}

@inproceedings{talcott-weyhrauch-90ecai,
author={Talcott, C. L. and Weyhrauch R. W.},
year={1990},
title={Towards a Theory of Mechanized Reasoning I: 
    FOL contexts, an extensional view},
booktitle={European Conference on Artificial Intelligence},
}


@misc{talcott-81folisp,
author = {Talcott, C. L.},
year = 1981,
title = {FOLISP: a system for reasoning about Lisp programs},
note = {(unpublished memo)}
}

@techreport{weyhrauch77,
author={Weyhrauch, R. W.},
year={1977},
title={{A Users Manual for Fol}},
institution={Stanford University Computer Science Department},
number={STAN-CS-77-432}
}

@inproceedings{weyhrauch78,
author={Weyhrauch, R. W.},
year={1978},
title={{The uses of logic in artificial intelligence}},
booktitle={Lecture Notes prepared for the summer school on the foundations
  of artificial intelligence and computer science (FAICS'78), Pisa, Italy}
}


@article{weyhrauch80,
author={Weyhrauch, R. W.},
year={1980},
title={{Prolegomena to a theory of formal reasoning}},
journal={Artificial Intelligence}, 
volume={13},
pages={133--170}
}


@incollection{weyhrauch-talcott-94takasu-fol,
author={Weyhrauch, R. W. and Talcott, C. L.},
title={The Logic of FOL Systems: Formulated in Set Theory},
year = 1994,
series = lncs,
number = 792,
publisher = {Springer-Verlag},
booktitle ={Festschrift in honor of Professor Satoru Takasu}, 
editor = {Hagiya, M. and Jones, N. D. and  Sato, M.},
ftp-source = {sail.stanford.edu:pub/MT/94takasu-fol.ps.Z},
keywords = {first-order logic, FOL context, partial structure, FOL system,
            representation, reasoning},
}

@misc{weyhrauch-talcott-95fset,
author={Weyhrauch, R. W.  and Talcott, C. L.},
title={{The Logic of FOL Systems: A Set Theoretic View }},
year = 1995,
clt-note = {in preparation -- refinement of weyhrauch-talcott-94takasu-fol }
}

@misc{weyhrauch-talcott-95pgm,
author={Weyhrauch, R. W.  and Talcott, C. L.},
title={{The Logic of FOL Systems: Formulated Using Programs }},
year = 1995,
clt-note = {in preparation}
}

@misc{talcott-weyhrauch-95csys,
author={Weyhrauch, R. W.  and Talcott, C. L.},
title={{Computation Systems with Restartable Computations}},
year = 1995,
clt-note = {in preparation}
}