Implementation of rewriting logic developed at SRI International
Sources: Wikidata (CC0) · Wikidata Q3558930