Construction of Logic Programs Based on Generalized Unfold/Fold Rules.

Tadashi Kanamori, Kenji Horiuchi

International Conference on Lightning Protection · 1987 · 20 citations · 0 references

Concepts