DECLARATIVE DEBUGGING OF MISSING ANSWERS FOR MAUDE SPECIFICATIONS
- Riesco, Adrian
- Verdejo, Alberto
- Marti-Oliet, Narciso
- Lynch, C (coord.)
ISSN: 1868-8969
ISBN: 978-3-939897-18-7
Year of publication: 2010
Volume: 6
Pages: 277-294
Congress: 21st International Conference on Rewriting Techniques and Applications (RTA) as part of the 5th International Federated Logic Conference (FLOC)
Type: Conference paper