Translating Fork specifications into logic programs

Baum, Gabriel Alfredo

Translating Fork specifications into logic programs

DIF-M3475