5 papers:
RTA-2012-AccattoliL #cost analysis #on the #reduction- On the Invariance of the Unitary Cost Model for Head Reduction (BA, UDL), pp. 22–37.
SIGIR-2001-Hoenkamp #performance #semantics- Unitary Operators for Fast Latent Semantic Indexing (FLSI) (EH), pp. 400–401.
WLC-2000-Inata #monad- Presentations of Right Unitary Submonoids of Monoids (II), pp. 222–227.
ICFP-1998-Faggian #approach #calculus- A Term Calculus for Unitary Approach to Nomalization (CF), p. 347.
CADE-1988-Buttner #algebra #finite #unification- Unification in Finite Algebras is Unitary (?) (WB), pp. 368–377.
