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

by Salvador Lucas , José Meseguer
Citations:23 - 10 self