BibSonomy :: bibtex  ::

tag user group author concept BibTeX key search:all search:dblp
A blue social bookmark and publication sharing system.
tags · relations · groups · popular
help · blog · about
login · register
dblp's BibTeX entry:  

Detecting Unsolvable Queries for Definite Logic Programs

CoRR, cs.LO/00030672000.
Authors: Maurice Bruynooghe and Henk Vandecasteele and D. Andre de Waal and Marc Denecker
URL: http://dblp.uni-trier.de/db/journals/corr/corr0003.html#cs-LO-0003067
Description: dblp
Tags: dblp
| URL | BibTeX  
@article{journals/corr/cs-LO-0003067,
title = {Detecting Unsolvable Queries for Definite Logic Programs},
author = {Maurice Bruynooghe and Henk Vandecasteele and D. Andre de Waal and Marc Denecker},
journal = {CoRR},
note = {informal publication},
url = {http://dblp.uni-trier.de/db/journals/corr/corr0003.html#cs-LO-0003067},
volume = {cs.LO/0003067},
year = {2000},
description = {dblp},
ee = {http://arxiv.org/abs/cs.LO/0003067}, date = {2008-01-02},
keywords = {dblp }
}