TY  - GEN
AU  - Baum,Gabriel Alfredo
TI  - Translating Fork specifications into logic programs
ER  -