Cite

HARVARD Citation

    KOMENDANTSKAYA, E. et al. (2017). Productive corecursion in logic programming*. Theory and practice of logic programming. 17 (5), pp. 906-923. [Online]. 
  
Back to record