Mulkers, Anne <br/><br/>
Live data structures in logic programs : derivation by means of abstract interpretation 

 - Berlin :  Springer-Verlag,  1993 
 - 220 p. 
 - Lecture notes in computer science ;  no. 675 .
<br/><br/><label>ISBN: </label>3540566945 
<br/><br/><label>Subjects--Topical Terms: </label><br/>Logic programming
<br/><br/><label>LC Class. No.: </label>QA76.63  / M86