A Logical Framework for Debugging in Declarative Constraint Programming
Aldizkaria:
Electronic Notes in Theoretical Computer Science
ISSN: 1571-0661
Argitalpen urtea: 2009
Alea: 256
Orrialdeak: 119-135
Mota: Artikulua