A logic oriented diagnostic program

Herman Jacobowitz. A logic oriented diagnostic program. In American Federation of Information Processing Societies: Proceedings of the AFIPS '67 Spring Joint Computer Conference, April 18-20, 1967, Atlantic City, New Jersey, USA. Volume 30 of AFIPS Conference Proceedings, pages 761-764, AFIPS / ACM / Thomson Book Company, Washington D.C., 1967. [doi]

@inproceedings{Jacobowitz67,
  title = {A logic oriented diagnostic program},
  author = {Herman Jacobowitz},
  year = {1967},
  doi = {10.1145/1465482.1465605},
  url = {http://doi.acm.org/10.1145/1465482.1465605},
  researchr = {https://researchr.org/publication/Jacobowitz67},
  cites = {0},
  citedby = {0},
  pages = {761-764},
  booktitle = {American Federation of Information Processing Societies: Proceedings of the AFIPS '67 Spring Joint Computer Conference, April 18-20, 1967, Atlantic City, New Jersey, USA},
  volume = {30},
  series = {AFIPS Conference Proceedings},
  publisher = {AFIPS / ACM / Thomson Book Company, Washington D.C.},
}