Endrullis, Jörg ; Hansen, Helle Hvid ; Hendriks, Dimitri..
Endrullis , J , Hansen , H H , Hendriks , D , Polonsky , A & Silva , A 2018 , ' Coinductive foundations of infinitary rewriting and infinitary equational logic ' , Logical Methods in Computer Science , vol. 14 , no. 1 , 3 , pp. 1-44 . https://doi.org/10.23638/LMCS-14(1:3)2018.  , 2018