Skip to main content
Username
*
Password
*
Forgot Password?
F.LI.T.
(Formal LIght-weight Tools)
Main menu
Publications
Publications
Navigation
Publications
You are here
Home
Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs
M. Comini
,
Levi, G.
, and
Vitiello, G.
,
“
Efficient Detection of Incompleteness Errors in the Abstract Debugging of Logic Programs
”
,
Proc. 2nd International Workshop on Automated and Algorithmic Debugging, AADEBUG'95
. 1995.
Google Scholar
BibTex
Google Scholar
BibTex