On-Demand OBJ: A Laboratory for Strategy Annotations

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

2003

Electronic Notes in Theoretical Computer Science