The automation of transversality conditions
terminal point transversality conditions
scientific article