SNARK, (SRI's New Automated Reasoning Kit), is a theorem prover for multi-sorted first-order logic intended for applications in artificial intelligence and software engineering, developed at SRI International.

The Snark was a Boojum.
A Guide to SNARK
The Hunting of the SNARK
The hunting of the Snark
Brand equity: Snark or boojum?
Regulation of SNARK activity in response to cellular stresses.
The Snark is a Boojum: the continuing problem of drug resistance in the antiangiogenic era
The evolution of comparative cognition: is the snark still a boojum?
Identification of SNARK as a NF-κB regulated antiapoptotic kinase involved in CD95-induced motility and invasiveness
Sucrose nonfermenting AMPK-related kinase (SNARK) mediates contraction-stimulated glucose transport in mouse skeletal muscle.