A Combination of SLDNF Resolution with Narrowing for General Logic Programs with Equations with Respect to Extended Well-Founded Model

• Autores: Susumu Yamasaki, Kazunori Iriya
• Localización: IEICE transactions on information and systems, ISSN 0916-8532, Vol. 82, Nº 10, 1999, págs. 1303-1315
• Idioma: inglés
• Texto completo no disponible (Saber más ...)