Generation of Universal Series-Parallel Boolean Functions.
Some Contributions to the Metatheory of the Situation Calculus.
Undirected Single-Source Shortest Paths with Positive Integer Weights in Linear Time.
A Fast Bit-Vector Algorithm for Approximate String Matching Based on Dynamic Programming.