The following table contains a list of examples discussed in the literature.
| Example | Source | DLV Code | Smodels Code |
| Delgrande and Schaub [3, running example] | car.lp | car.dlv | car.sm |
| - | ex0.lp | ex0.dlv | ex0.sm |
| - | ex1.lp | ex1.dlv | ex1.sm |
| - | nonGround.lp | nonGround.dlv | nonGround.sm |
More examples for this collection are highly welcome!