Line Numbers Made Cheap.
On the Proof of Correctness of a Calendar Program.
An Algorithm for Planning Collision-Free Paths Among Polyhedral Obstacles.
Comment on: "An Optimal Evaluation of Boolean Expressions in an Online Query System".
A Note on: "An Optimal Evaluation of Boolean Expressions in an Online Query System".