### 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.