An Expert System on Detection, Evaluation and Treatment of Hypertension - Artificial Intelligence and Symbolic Computation - page 264

11. A. V. Chobanian et al., JNC 7 Complete Version. Seventh Report of the Joint
National Committee on Prevention, Detection, Evaluation and Treatment of High
Blood Pressure. Hypertension 42 (2003) 1206-1252.
12. C. Perez. L.M. Laita, E. Roanes-Lozano, L. Lazaro, J. Gonzalez, L. Laita, A Logic
and Computer Algebra-Based Expert System for Diagnosis of Anorexia, Math.
Comp. Simul. 58 (2002) 183-202.
13. V. Maojo, L. M. Laita, E. Roanes Lozano, J. Crespo and J. Rodrıguez Pedrosa,
A New Computerized Method to Verify and Disseminate Medical Appropriatenes
Criteria, in R. W. Brause and E. Hanisch, eds., Medical Data Analysis, Procs. of
ISMDA'2000 (Springer-Verlag LNAI-1933, Berlin 2000) 1212-217.
14. E. Roanes Lozano, L. M. Laita and E. Roanes Macıas, A Polynomial Model for
Multivalued Logics with a Touch of Algebraic Geometry and Computer Algebra.
Math. Comp. Simul. 45(1/2) (1998) 83-99.
15. J. Hsiang, Refutational Theorem Proving using Term-rewriting Systems, Artificial
Intelligence , 25 (1985), 255-300.
16. D. Kapur and P. Narendran, An Equational Approach to Theorem Proving in
First-Order Predicate Calculus, 84CRD296, General Electric Corporate Research
and Development Report (Schenectady, NY, March 1984, rev Dec 1984). Also in
Proceedings of IJCAI-85 , (1985) 1446-1156.
17. J. Chazarain, A. Riscos, J. A. Alonso and E. Briales, Multivalued Logic and
Grobner Bases with Applications to Modal Logic. J. Symb. Comput. , 11 (1991)
181-194.