completed FOALL NP-hard; added bibliography