Operational termination of membership equational programs. the order-sorted way (2008)

by Salvador Lucas , José Meseguer
Citations:24 - 11 self