Return to Article Details Translating fork specifications into logic programs Download Download PDF