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,
}