Simple termination is difficult (1995)

by A Middeldorp, B Gramlich
Venue:Applicable Algebra in Engineering, Communication and Computing