Correct and Complete (positive) Stretagy Annotations for OBJ

Alpuente Frasnedo María, Escobar Román Santiago, Lucas Alba Salvador

2003

Electronic Notes in Theoretical Computer Science