From Logic to Functional Logic Programs

Hanus, M

Hanus, M (通讯作者),CAU Kiel, Inst Informat, Kiel, Germany.

THEORY AND PRACTICE OF LOGIC PROGRAMMING, 2022; 22 (4): 538