Declarative Programming of Search Problems with Built-in Arithmetic

Open in new window