María Alpuente, Santiago Escobar, Salvador Lucas
Correct and Complete (Positive) Strategy Annotations for OBJ
WRLA, 2002.
@article{WRLA-2002-AlpuenteEL, author = "María Alpuente and Santiago Escobar and Salvador Lucas", doi = "10.1016/S1571-0661(05)82529-0", journal = "{Electronic Notes in Theoretical Computer Science}", pages = "70--89", title = "{Correct and Complete (Positive) Strategy Annotations for OBJ}", volume = 71, year = 2002, }