Better Termination for Prolog with Constraints
Bijective Term Encodings
Bistable Biorders: A Sequential Domain Theory
Bit Copying - The Ultimate Computational Simplicity
Book review "The Haskell Road to Logic, Maths and Programming"
Bound Analysis of Imperative Programs with the Size-change Abstraction (extended version)
Branching: the Essence of Constraint Solving
Building-Blocks for Performance Oriented DSLs