@Unpublished{Mur26,
    Author       = "Murzin, N.",
    Year         = "2026",
    Title        = "{FindProof: Equational Theorem Proving in the Wolfram Language}",
    Note         = "{Wolfram Institute Technical Note}",
    Comment      = ""
}