The complexity of obtaining solutions for problems in NP and NL - Jenner, Birgit; Torán, Jacobo (1996)