Allen_Van__Gelder
A satisfiability tester for non-clausal propositional calculus
An interactive fur modeling technique
Direct Volume Rendering with Shading via Three-Dimensional Textures
Rapid Exploration of Curvilinear Grids Using Direct Volume Rendering
Simultaneous construction of refutations and models for propositional formulas
The Well-Founded Semantics for General Logic Programs
Topological Considerations in Isosurface Generation