Translating Fork specifications into logic programs - Baum, Gabriel Alfredo