Logic program synthesis from first-order logic specifications

• Authors:

• Tadashi Kawamura

• Affiliations:

• Mitsubishi Electric Corp., Amagasaki, Japan

• Venue:
• FGCS'921 Selected papers of the conference on Fifth generation computer systems
• Year:
• 1994