Knowledgebases as Structured Theories

José Luiz Fiadeiro, Amílcar Sernadas, Cristina Sernadas. Knowledgebases as Structured Theories. In Kesav V. Nori, Sanjeev Kumar, editors, Foundations of Software Technology and Theoretical Computer Science, Eighth Conference, Pune, India, December 21-23, 1988, Proceedings. Volume 338 of Lecture Notes in Computer Science, pages 469-486, Springer, 1988.

@inproceedings{FiadeiroSS88,
  title = {Knowledgebases as Structured Theories},
  author = {José Luiz Fiadeiro and Amílcar Sernadas and Cristina Sernadas},
  year = {1988},
  researchr = {https://researchr.org/publication/FiadeiroSS88},
  cites = {0},
  citedby = {0},
  pages = {469-486},
  booktitle = {Foundations of Software Technology and Theoretical Computer Science, Eighth Conference, Pune, India, December 21-23, 1988, Proceedings},
  editor = {Kesav V. Nori and Sanjeev Kumar},
  volume = {338},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-50517-2},
}