A comparison between two logical formalisms for rewriting
ISSN: 1471-0684, 1475-3081
Argitalpen urtea: 2007
Alea: 7
Zenbakia: 1-2
Orrialdeak: 183-213
Mota: Artikulua
Aldizkaria:
Theory and Practice of Logic Programming