Antonio Márquez Marín
Antonio's nickname is Lumpi.
- On the Other Side (as "Lumpi"; 2000; MS-DOS). IF Comp 2000.
- jug2k (as "Lumpi"; 2005; Common Lisp; Spanish). Xcomp 2005.
- I-0 (translator: with José Luis Diaz and Miguel Villaverde Rodal; Z-code; Spanish). Spanish translation of I-0 (Adam Cadre; 1997; Z-code).