Nathan Goodman Oded Shmueli NP-complete Problems Simplified on Tree Schemas. 171-178 1983 20 Acta Inf. db/journals/acta/acta20.html#GoodmanS83